Proof of Scalar Product of Four Vectors